首页> 外文OA文献 >Automated verification of model transformations based on visual contracts

【2h】

Automated verification of model transformations based on visual contracts

机译：基于视觉契约自动验证模型转换

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-y

机译：最终出版物可通过http://dx.doi.org/10.1007/s10515-012-0102-y在Springer上获得。

著录项

作者
Guerra, Esther; Lara, Juan de; Wimmer, Manuel; Kappel, Gerti; Kusel, Angelika; Retschitzegger, Werner; Schönböck, Johannes; Schwinger, Wieland;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Automated verification of model transformations based on visual contracts [J] . Esther Guerra, Juan de Lara, Manuel Wimmer, Automated software engineering . 2013,第1期

机译：基于视觉合同的模型转换的自动验证
2. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations [J] . Mark Asztalos, Péter Ekler, László Lengyel, Electronic Communications of the EASST . 2011,第2期

机译：通过基于图重写的模型转换的声明性描述进行自动验证
3. A Black-Box and Contract-Based Verification of Model Transformations [J] . Lahrouni Meriem, Cariou Eric, El Fazziki Abdelaziz The international arab journal of information technology . 2019,第4期

机译：基于黑匣子和基于合同的模型转换验证
4. VIATRA - visual automated transformations for formal verification and validation of UML models [C] . Csertan, G., Huszerl, . 2002

机译：VIATRA-可视化自动转换，用于UML模型的形式验证和确认
5. A Methodology for Automated Verification of Rosetta Specification Transformations [D] . Lohoefener, Jennifer L. 2011

机译：Rosetta规范转换的自动验证方法
6. Automated visualization of rule-based models [O] . John Arul Prakash Sekar, Jose-Juan Tapia, James R. Faeder 2017

机译：自动可视化基于规则的模型
7. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models [O] . Gyorgy Csertan, Gabor Huszerl, Istvan Majzik, 2002

机译：VIaTRa - 用于UmL模型形式验证和验证的可视化自动转换

Automated verification of model transformations based on visual contracts

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅